English symbolic programming for automatic control: la traduction en autres langues